Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
391	Reasoning about XML with Temporal Logics and Automata Leonid Libkin Cristina Sirangelo University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-09-16 09:06:42 OSI protocols Tree automaton Tree XPath XML Nondeterministic finite automaton Binary tree Automata theory Computing Theory of computation
392	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science
393	Chennai Mathematical Institute MSc/PhD Computer Science Topics covered in entrance examination • Discrete Mathematics Sets and relations, elementary counting techiniques, pigeon hole principle, partial orders, • Elem Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2010-03-23 06:34:16 Mathematical logic Combinatorial optimization Matching Automata theory Finite-state machine Algorithm Discrete mathematics Graph theory Computational complexity theory Mathematics Theoretical computer science Applied mathematics
394	Automata theory for XML researchers∗ Frank Neven University of Limburg 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:40 Mathematics Tree automaton Nondeterministic finite automaton Deterministic finite automaton Symbol Finite-state machine Tree Regular language Formal language Automata theory Theoretical computer science Computer science
395	FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-12-22 08:01:06 Applied mathematics Logic in computer science Nested word Words Formal methods Temporal logic Nesting Stack Model checking Theoretical computer science Automata theory Mathematical logic
396	Noname manuscript No. (will be inserted by the editor) Synchronizing Relations on Words Diego Figueira · Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-11-26 07:54:43 Computer science Applied mathematics Regular language Tree automaton Complementation of Büchi automaton Ω-automaton Automata theory Formal languages Theoretical computer science
397	PII: Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 16:37:08 Formal methods Muller automaton Deterministic automaton Nondeterministic finite automaton Finite-state machine Alphabet Petri net Ω-automaton Automata theory Theoretical computer science Computer science
398	Regular Expressions with Binding over Data Words for Querying Graph Databases Leonid Libkin1 , Tony Tan2 , and Domagoj Vrgoˇc1 1 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:12:45 Automata theory Applied mathematics Regular expression FO Structure Formal languages Mathematics Theoretical computer science
399	Synchronizing Relations on Words Diego Figueira and Leonid Libkin University of Edinburgh, UK Abstract While the theory of languages of words is very mature, our understanding of relations on words Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-01 14:59:36 Mathematics Applied mathematics Regular language Recognizable language Tree automaton Constructible universe Formal languages Automata theory Theoretical computer science
400	Alexandr Andoni http://www.mit.edu/~andoni Email: Phone: Experience Add to Reading List Source URL: www.mit.edu Language: English - Date: 2015-02-05 02:44:09 Year of birth missing Symposium on Foundations of Computer Science Symposium on Theory of Computing Piotr Indyk International Colloquium on Automata Languages and Programming Streaming algorithm Ravi Kannan Nearest neighbor search ACM SIGACT Theoretical computer science Applied mathematics Mathematics

UPDATE